xen: arm: vtimer fixes for arm64
authorIan Campbell <ian.campbell@citrix.com>
Mon, 9 Dec 2013 11:13:36 +0000 (11:13 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Mon, 9 Dec 2013 15:27:46 +0000 (15:27 +0000)
commit90ed3c202f2c8ce286735ca235dd1fdcbd35dd8f
treee6fb74b4a4dfbb5eb629c1d5cf0c6180f4df0d39
parent9ed46ae6d29e5e87b45127d446e05db119c1b464
xen: arm: vtimer fixes for arm64

The code was writing back the register, even for writes and didn't implement
CNTPCT at all.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
xen/arch/arm/vtimer.c